Categorical equivalences and realization theorems
نویسندگان
چکیده
منابع مشابه
Combinatorial Categorical Equivalences
In this paper we prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let X denote an additive category with finite direct sums and splitting idempotents. The class includes (a) the Dold-Puppe-Kan theorem that simplicial objects in X are equivalent to chain complexes in X ; (b) the observation of...
متن کاملOn minimal realization of IF-languages: A categorical approach
he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...
متن کاملSome Methodological Remarks about Categorical Equivalences
In this paper, it is remarked that BZ lattice structures can recover several theoretical approaches to rough sets, englobing their individual richness in a unique structure. Rough sets based on a similarity relation are also considered, showing that the BZ lattice approach turns out to be even more useful, since enables one to define another rough approximation, which is better than the corresp...
متن کاملCategorical equivalences for p 0 quasi - MV algebras
In previous investigations into the subject ([4], [9], [1]), p 0 quasi-MV algebras have been mainly viewed as preordered structures w.r.t. the induced preorder relation of their quasi-MV term reducts. In this paper, we shall focus on a di¤erent relation which partially orders cartesian p 0 quasi-MV algebras. We shall prove that: a) every cartesian p 0 quasi-MV algebra is embeddable into an inte...
متن کاملCategorical Representation Theorems of Fuzzy Relations
This paper provides a notion of Zadeh categories as a categorical structure formed by fuzzy relations with sup-min composition, and proves two representation theorems for Dedekind categories (relation categories) with a unit object analogous to one-point set, and for Zadeh categories without unit objects.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1996
ISSN: 0022-4049
DOI: 10.1016/0022-4049(96)00091-6